recursion lemma - перевод на русский
Diclib.com
Словарь ChatGPT
Поиск в словаре Индивидуальные решения
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология
  1. Словари
  2. Англо-русский словарь
  3. recursion lemma

recursion lemma - перевод на русский

BRANCH OF MATHEMATICAL LOGIC THAT SEEKS TO DETERMINE WHICH AXIOMS ARE REQUIRED TO PROVE THEOREMS OF MATHEMATICS
Reverse Mathematics; Weak König's lemma; Weak Konig's lemma; Arithmetical transfinite recursion; Constructive reverse mathematics; Bounded reverse mathematics
Найдено результатов: 109
recursion lemma      

математика

лемма о рекурсии

recursiveness         
  • Malyutin]], 1892
  • Front face of [[Giotto]]'s ''[[Stefaneschi Triptych]]'', 1320, recursively contains an image of itself (held up by the kneeling figure in the central panel).
  • [[Ouroboros]], an ancient symbol depicting a serpent or dragon eating its own tail.
  • The [[Sierpinski triangle]]—a confined recursion of triangles that form a fractal
  • Recently refreshed [[sourdough]], bubbling through [[fermentation]]: the recipe calls for some sourdough left over from the last time the same recipe was made.
PROCESS OF REPEATING ITEMS IN A SELF-SIMILAR WAY
Recursion definition; Recursive; Recursivity; Recursionism; Recursively; Infinite Recursion; Recursion, infinite; Recursor function; Recursionisms; Recursion (Concept); Recursion (concept); Recursive routine; Recursions; Recursion principle; Recursive structure; Infinite loop motif; Infinite-loop motif; Recursiveness; Mathematical recursion; Base case (recursion); Recursoin; Recursive step; Recurson; Recursive humour; Recursion in natural languages; Recursion (linguistics)

[ri'kə:sivnis]

общая лексика

рекурсивность

Смотрите также

general recursiveness; partial recursiveness; potential recursiveness; primitive recursiveness; relative recursiveness; uniform recursiveness

существительное

логика

рекурсивность

recursion         
  • Malyutin]], 1892
  • Front face of [[Giotto]]'s ''[[Stefaneschi Triptych]]'', 1320, recursively contains an image of itself (held up by the kneeling figure in the central panel).
  • [[Ouroboros]], an ancient symbol depicting a serpent or dragon eating its own tail.
  • The [[Sierpinski triangle]]—a confined recursion of triangles that form a fractal
  • Recently refreshed [[sourdough]], bubbling through [[fermentation]]: the recipe calls for some sourdough left over from the last time the same recipe was made.
PROCESS OF REPEATING ITEMS IN A SELF-SIMILAR WAY
Recursion definition; Recursive; Recursivity; Recursionism; Recursively; Infinite Recursion; Recursion, infinite; Recursor function; Recursionisms; Recursion (Concept); Recursion (concept); Recursive routine; Recursions; Recursion principle; Recursive structure; Infinite loop motif; Infinite-loop motif; Recursiveness; Mathematical recursion; Base case (recursion); Recursoin; Recursive step; Recurson; Recursive humour; Recursion in natural languages; Recursion (linguistics)
рекурсия
recursion         
  • Malyutin]], 1892
  • Front face of [[Giotto]]'s ''[[Stefaneschi Triptych]]'', 1320, recursively contains an image of itself (held up by the kneeling figure in the central panel).
  • [[Ouroboros]], an ancient symbol depicting a serpent or dragon eating its own tail.
  • The [[Sierpinski triangle]]—a confined recursion of triangles that form a fractal
  • Recently refreshed [[sourdough]], bubbling through [[fermentation]]: the recipe calls for some sourdough left over from the last time the same recipe was made.
PROCESS OF REPEATING ITEMS IN A SELF-SIMILAR WAY
Recursion definition; Recursive; Recursivity; Recursionism; Recursively; Infinite Recursion; Recursion, infinite; Recursor function; Recursionisms; Recursion (Concept); Recursion (concept); Recursive routine; Recursions; Recursion principle; Recursive structure; Infinite loop motif; Infinite-loop motif; Recursiveness; Mathematical recursion; Base case (recursion); Recursoin; Recursive step; Recurson; Recursive humour; Recursion in natural languages; Recursion (linguistics)

[ri'kə:ʃ(ə)n]

общая лексика

рекурсия

в программировании - способность подпрограммы или функции вызывать во время исполнения саму себя для выполнения итеративной операции

возвратный

рекуррентный

рекурсивный

антоним

loop

Смотрите также

recursive definition; bar recursion; conditional recursion; course-of-values recursion; limited recursion; multiple recursion; nested recursion; normal recursion; potential recursion; primitive recursion; recursion formula; recursion induction; recursion lemma; recursion relation; recursion scheme; recursion theorem; relative recursion; restricted recursion; shifted recursion; simple recursion; simultaneous recursion; transfinite recursion; triple recursion; unnested recursion

существительное

математика

рекуррентная формула

рекуррентное соотношение

логика

рекурсия

recursively         
  • Malyutin]], 1892
  • Front face of [[Giotto]]'s ''[[Stefaneschi Triptych]]'', 1320, recursively contains an image of itself (held up by the kneeling figure in the central panel).
  • [[Ouroboros]], an ancient symbol depicting a serpent or dragon eating its own tail.
  • The [[Sierpinski triangle]]—a confined recursion of triangles that form a fractal
  • Recently refreshed [[sourdough]], bubbling through [[fermentation]]: the recipe calls for some sourdough left over from the last time the same recipe was made.
PROCESS OF REPEATING ITEMS IN A SELF-SIMILAR WAY
Recursion definition; Recursive; Recursivity; Recursionism; Recursively; Infinite Recursion; Recursion, infinite; Recursor function; Recursionisms; Recursion (Concept); Recursion (concept); Recursive routine; Recursions; Recursion principle; Recursive structure; Infinite loop motif; Infinite-loop motif; Recursiveness; Mathematical recursion; Base case (recursion); Recursoin; Recursive step; Recurson; Recursive humour; Recursion in natural languages; Recursion (linguistics)

общая лексика

рекуррентно

рекурсивно

рекурсно

recursive structure         
  • Malyutin]], 1892
  • Front face of [[Giotto]]'s ''[[Stefaneschi Triptych]]'', 1320, recursively contains an image of itself (held up by the kneeling figure in the central panel).
  • [[Ouroboros]], an ancient symbol depicting a serpent or dragon eating its own tail.
  • The [[Sierpinski triangle]]—a confined recursion of triangles that form a fractal
  • Recently refreshed [[sourdough]], bubbling through [[fermentation]]: the recipe calls for some sourdough left over from the last time the same recipe was made.
PROCESS OF REPEATING ITEMS IN A SELF-SIMILAR WAY
Recursion definition; Recursive; Recursivity; Recursionism; Recursively; Infinite Recursion; Recursion, infinite; Recursor function; Recursionisms; Recursion (Concept); Recursion (concept); Recursive routine; Recursions; Recursion principle; Recursive structure; Infinite loop motif; Infinite-loop motif; Recursiveness; Mathematical recursion; Base case (recursion); Recursoin; Recursive step; Recurson; Recursive humour; Recursion in natural languages; Recursion (linguistics)

математика

рекурсивная структура

recursive         
  • Malyutin]], 1892
  • Front face of [[Giotto]]'s ''[[Stefaneschi Triptych]]'', 1320, recursively contains an image of itself (held up by the kneeling figure in the central panel).
  • [[Ouroboros]], an ancient symbol depicting a serpent or dragon eating its own tail.
  • The [[Sierpinski triangle]]—a confined recursion of triangles that form a fractal
  • Recently refreshed [[sourdough]], bubbling through [[fermentation]]: the recipe calls for some sourdough left over from the last time the same recipe was made.
PROCESS OF REPEATING ITEMS IN A SELF-SIMILAR WAY
Recursion definition; Recursive; Recursivity; Recursionism; Recursively; Infinite Recursion; Recursion, infinite; Recursor function; Recursionisms; Recursion (Concept); Recursion (concept); Recursive routine; Recursions; Recursion principle; Recursive structure; Infinite loop motif; Infinite-loop motif; Recursiveness; Mathematical recursion; Base case (recursion); Recursoin; Recursive step; Recurson; Recursive humour; Recursion in natural languages; Recursion (linguistics)

[ri'kə:siv]

общая лексика

рекурсивный

рекуррентный

прилагательное

математика

рекуррентный

рекурсивный

техника

оборотный

способный к повторному использованию

partial summation         
THEOREM TO SIMPLIFY SUMS OF PRODUCTS OF SEQUENCES
Abel's lemma; Abel's Lemma; Partial summation; Abel transformation; Abel Lemma; Abel lemma

математика

частичное суммирование

summation by parts         
THEOREM TO SIMPLIFY SUMS OF PRODUCTS OF SEQUENCES
Abel's lemma; Abel's Lemma; Partial summation; Abel transformation; Abel Lemma; Abel lemma

математика

суммирование по частям

five lemma         
  • A proof of (1) in the case where <math>t(c')\neq 0</math> is nonzero
  • A proof of (1) in the case where <math>t(c') = 0</math>
  • A proof of (2)
LEMMA IN CATEGORY THEORY ABOUT COMMUTATIVE DIAGRAMS
Four lemma; 5 lemma; 5-lemma; Steenrod five lemma; Five Lemma; Five-lemma; The five lemma

математика

лемма о пяти гомоморфизмах

Определение

tail recursion
<programming> When the last thing a function (or procedure) does is to call itself. Such a function is called tail recursive. A function may make several recursive calls but a call is only tail-recursive if the caller returns immediately after it. E.g. f n = if n < 2 then 1 else f (f (n-2) + 1) In this example both calls to f are recursive but only the outer one is tail recursive. Tail recursion is a useful property because it enables {tail recursion optimisation}. If you aren't sick of them already, see recursion and {tail recursion}. [Jargon File] (2006-04-16)
Показать больше определений

Википедия

Reverse mathematics

Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms. It can be conceptualized as sculpting out necessary conditions from sufficient ones.

The reverse mathematics program was foreshadowed by results in set theory such as the classical theorem that the axiom of choice and Zorn's lemma are equivalent over ZF set theory. The goal of reverse mathematics, however, is to study possible axioms of ordinary theorems of mathematics rather than possible axioms for set theory.

Reverse mathematics is usually carried out using subsystems of second-order arithmetic, where many of its definitions and methods are inspired by previous work in constructive analysis and proof theory. The use of second-order arithmetic also allows many techniques from recursion theory to be employed; many results in reverse mathematics have corresponding results in computable analysis. In higher-order reverse mathematics, the focus is on subsystems of higher-order arithmetic, and the associated richer language.

The program was founded by Harvey Friedman (1975, 1976) and brought forward by Steve Simpson. A standard reference for the subject is Simpson (2009), while an introduction for non-specialists is Stillwell (2018). An introduction to higher-order reverse mathematics, and also the founding paper, is Kohlenbach (2005).

https://en.wikipedia.org/wiki/Reverse mathematics
Как переводится recursion lemma на Русский язык
Поиск в словаре
Все словари Английский словарь Англо-арабский словарь Англо-голландский словарь Англо-греческий словарь Англо-испанский словарь Англо-итальянский словарь Англо-немецкий словарь Англо-русский словарь Англо-французский словарь Арабский словарь Голландский словарь Греческий словарь Испанский словарь Итальянский словарь Итальянско-русский словарь Латинско-испанский словарь Латинско-португальский словарь Немецкий словарь Португальский словарь Португальско-русский словарь Русский словарь Французский словарь Французско-русский словарь
Создано ИИ
Английский Русский Испанский Португальский Немецкий Французский Греческий Голландский Итальянский Арабский
Язык интерфейса
Русский English Español Português Deutsch Français Ελληνικά Nederlands Italiano عربي
Контакты
Свяжитесь с нами



Конфиденциальность
Политика конфиденциальности